perm filename FP[ESS,JMC] blob sn#080576 filedate 1974-01-07 generic text, type T, neo UTF8

(DEFPROP FPFNS
 (FPFNS FP)
VALUE)

(DEFPROP FP
 (LAMBDA(N)
  (COND	((EQUAL N 1.) NIL)
	((ZEROP (REMAINDER N 2.)) (FP (QUOTIENT N 2.)))
	(T (CONS N (CONS (ADD1 (TIMES 3. N)) (FP (QUOTIENT (ADD1 (TIMES 3. N)) 2.)))))))
EXPR)